Proposition 2.2.7

Let be projections in a -algebra .

  1. If , then
  2. If then .
    Proof:
    Part 1. is an immediate consequence of Proposition 2.2.6.
    If for some unitary , then ,
    and this proves (ii).